graph theory:underlying graph